Home Up Random
This morphism maps \((x,b)\mapsto (f(x),b)\)
This morphism takes in a function \(B \xrightarrow{bx} X\) and composes with f to give \(B \xrightarrow{bx;f} Y\)
It takes a number and returns a function which adds three to that number.